Перевод: с английского на русский

с русского на английский

набор аксиом

См. также в других словарях:

  • Система аксиом фон Неймана — Cистема аксиом фон Неймана  Бернайса  Гёделя (NBG, аксиоматика Гёделя  Бернайса) в метаматематике  одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело  Френкеля с …   Википедия

  • Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

  • ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь — Терминология ГОСТ Р 54136 2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа: 4.1 абстрактная деталь (abstract part): Деталь, которая определена только своей… …   Словарь-справочник терминов нормативно-технической документации

  • Аксиома — В Викисловаре есть статья «аксиома» Аксиома (др. греч …   Википедия

  • Постулат — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат  утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… …   Википедия

  • Постулирование — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат  утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… …   Википедия

  • Постулят — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат  утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… …   Википедия

  • НЕЭВКЛИДОВА ГЕОМЕТРИЯ — НЕЭВКЛИДОВА ГЕОМЕТРИЯ, самодостаточная геометрия, которая использует набор аксиом, отличных от АКСИОМ Евклидовой ГЕОМЕТРИИ, в частности, не включает постулата о параллельных прямых. Пятый постулат Евклида представляет собой утверждение, что если… …   Научно-технический энциклопедический словарь

  • Расширение — строительство дополнительных объектов недвижимости (зданий, сооружений) или расширение существующих отдельно стоящих зданий и сооружений объектов основного, подсобного и обслуживающего назначения на раннее закрепленных земельных участках, а также …   Словарь-справочник терминов нормативно-технической документации

  • Оценка и принятие решений (judgment and decision making) — Исслед. в области О. и п. р. можно разбить на четыре категории: поведенческие, когнитивные, организационные и системы поддержки решения. Каждая из этих категорий имеет свою собственную теорет. перспективу и методологию, применяемую при анализе… …   Психологическая энциклопедия

  • АПРИОРИ И АПОСТЕРИОРИ — (лат. a priori из предшествующего, a posteriori из последующего) термины философии и логики. Априори независимость знания, представления от опыта. Независимость от опыта может пониматься как: 1) независимость в значимости; 2) независимость в… …   Философская энциклопедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»